Khalil Djelloul: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

From decomposable to residual theories

Khalil Djelloul

Journal:

Applied Mathematics and Computation

Year:

2009

Language:

english

File:

PDF, 330 KB

english, 2009

2

A full first-order constraint solver for decomposable theories

Khalil Djelloul

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 384 KB

english, 2009

3

[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - Toward a first-order extension of Prolog's unification using CHR

Djelloul, Khalil, Dao, Thi-Bich-Hanh, Fruehwirth, Thom

Year:

2007

Language:

english

File:

PDF, 268 KB

english, 2007

4

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - Solving first-order constraints in the theory of finite or infinite trees

Djelloul, Khalil, Dao, Thi-Bich-Hanh

Year:

2006

Language:

english

File:

PDF, 202 KB

english, 2006

5

[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - Combination of decomposability and propagation for solving first-order constraints in decomposable theories

Djelloul, Khalil

Year:

2008

Language:

english

File:

PDF, 187 KB

english, 2008

6

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - From exponential to almost linear decomposability of finite or infinite trees

Djelloul, Khalil

Year:

2009

Language:

english

File:

PDF, 402 KB

english, 2009

7

Theory of finite or infinite trees revisited

DJELLOUL, KHALIL, DAO, THI-BICH-HANH, FRÜHWIRTH, THOM

Journal:

Theory and Practice of Logic Programming

Year:

2008

Language:

english

File:

PDF, 457 KB

english, 2008

8

Decomposable theories

DJELLOUL, KHALIL

Journal:

Theory and Practice of Logic Programming

Year:

2007

Language:

english

File:

PDF, 452 KB

english, 2007